Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Continue reading
Automated Reasoning with Analytic Tableaux and Related Methods
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...
Continue reading
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Continue reading
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first ...
Continue reading
Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Continue reading
Model-Based Testing of Reactive Systems
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Continue reading
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Continue reading
Software Verification and Validation
Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...
Continue reading
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Continue reading
